Equivalence of Syllogisms
نویسنده
چکیده
We consider two categorical syllogisms, valid or invalid, to be equivalent if they can be transformed into each other by certain transformations, going back to Aristotle, that preserve validity. It is shown that two syllogisms are equivalent if and only if they have the same models. Counts are obtained for the number of syllogisms in each equivalence class. To make the development more natural, the space of syllogisms is enlarged to include nonstandard syllogisms, and various groups operating on that space are considered. Happy families are all alike; every unhappy family is unhappy in its own way. Leo Nikolaevich Tolstoi, Anna Karenina 1 Categorical syllogisms Studies of categorical syllogisms typically focus on the valid ones: which syllogisms are valid, why they are valid, how the valid ones are classified, how to derive valid ones from other valid ones. As Lear [5] put it, “Our principal interest in invalid inferences is to discard them.” Here we are interested in the invalid syllogisms too. The traditional methods for transforming one valid syllogism into another also transform any syllogism, valid or not, into an equivalent one. We will define what we mean by equivalence of syllogisms in Section 4 02000 Mathematics Subject Classification. Primary 03B99
منابع مشابه
Suhrawardi's Modal Syllogisms
Suhrawardi’s logic of the Hikmat al-Ishraq is basically modal. So to understand his modal logic one first has to know the non-modal part upon which his modal logic is built. In my previous paper ‘Suhrawardi on Syllogisms’(3) I discussed the former in detail. The present paper is an exposition of his treatment of modal syllogisms. On the basis of some reasonable existential presuppositi...
متن کاملVisualizing Syllogisms: Category Pattern Diagrams versus Venn Diagrams
A new diagrammatic notation for Syllogisms is presented: Category Pattern Diagrams, CPDs. A CPD configures different styles of line segments to simultaneously assign quantification values to categorical variables and relations among them. The design of CPDs attempts to coherently visualize the structure of syllogisms at various conceptual levels. In comparison to Venn Diagrams and conventional ...
متن کاملUsing Inclusion Diagrams as an Alternative to Venn Diagrams to Determine the Validity of Categorical Syllogisms
Inclusion diagrams are introduced as an alternative to using Venn diagrams to determine the validity of categorical syllogisms, and are used here for the analysis of diverse categorical syllogisms. As a preliminary example of a possible generalization of the use of inclusion diagrams, consideration is given also to an argument that includes more than two premises and more than three terms, the ...
متن کاملIntermediate Syllogisms in Fuzzy Natural Logic
The goal of this paper is twofold: first, we give overview of the results of one part of the Fuzzy Natural Logic — the formal theory of intermediate quantifiers and syllogisms based on them. We present 105 valid basic syllogisms and show that for the proof of validity of all of them, we need to prove validity of only few of them so that validity of the other ones immediately follows. In the sec...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Notre Dame Journal of Formal Logic
دوره 45 شماره
صفحات -
تاریخ انتشار 2004